Lutz Stra Burger And NotSarre (Land)
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
002539 | Alessio Guglielmi [France] ; Lutz Stra Burger [France] | A System of Interaction and Structure V: The Exponentials and Splitting |
002540 | Lutz Stra Burger [France] ; Alessio Guglielmi [France] | A System of Interaction and Structure IV: The Exponentials and Decomposition |
002B81 | Alessio Guglielmi [France] ; Tom Gundersen [France] ; Lutz Stra Burger [France] | Breaking Paths in Atomic Flows for Classical Logic |
005A35 | François Lamarche [France] ; Lutz Stra Burger [France] | Constructing free Boolean categories |
This area was generated with Dilib version V0.6.33. |